# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate images original text with physical files.


$key = q//;
$cached_env_img{$key} = q|<IMG
  STYLE="" SRC="|."$dir".q|img13.png"
 ALT="\begin{evaltrace}
+&ndash;&gt; ;(++ 2 3)
\vert
\vert +&ndash;&gt; ;2 {\it First argument evaluat...
... to 2 and 3 {\it Apply the function to its arguments.}
*
+_*&gt; ;5
\end{evaltrace}">|; 

$key = q/{code}(+23){et-->}5{code};LFS=12;AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="" SRC="|."$dir".q|img2.png"
 ALT="\begin{code}
(+ 2 3) {\et &ndash;&gt;} 5
\end{code}">|; 

$key = q/{code}{{bf{procedure}foo({{bf{var}x:integer);{{bf{begin}x:={sum{{tt{a}_{i}{{{bf{end};{code};MSF=1.6;LFS=12;AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="" SRC="|."$dir".q|img1.png"
 ALT="\begin{code}
{\bf procedure} foo ({\bf var} x: integer);
{\bf begin}
x := $\sum{\tt a}_{i}$
{\bf end};
\end{code}">|; 

$key = q/{evaltrace}"++"++"#"#"H"H"h"h"x"x"X"X"Y"Y"y"y{evaltrace};LFS=12;AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="" SRC="|."$dir".q|img7.png"
 ALT="\begin{evaltrace}
''++'' ++ '' ...">|; 

$key = q/{evaltrace}"++-->"+-->"++..>"+..>strut"++_->"+_->"++_.>"+_.>strut"++**>"+**>"++<comment_mark>6strut"++_*>"+_*>"++_{evaltrace};LFS=12;AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="" SRC="|."$dir".q|img12.png"
 ALT="\begin{evaltrace}
''++&ndash;&gt;'' +&ndash;&gt; ''++..&gt;'' +..&gt;
\strut
''++_-&gt;'' +_-&gt; ''++_.&gt;'' ...
...'' +**&gt; ''++%%&gt;'' +%%&gt; ''++.-&gt;'' +.-&gt;
\strut
''++_*&gt;'' +_*&gt; ''++_\end{evaltrace}">|; 

$key = q/{evaltrace}"-"-"_"_"="=".".{evaltrace};LFS=12;AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="" SRC="|."$dir".q|img6.png"
 ALT="\begin{evaltrace}
''-'' - ''_'' _ ''='' = ''.'' .
\end{evaltrace}">|; 

$key = q/{evaltrace}">">"<"<"^"^"V"V")")"("("~"~"v"vstrut"]"]"!"!{evaltrace};LFS=12;AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="" SRC="|."$dir".q|img8.png"
 ALT="\begin{evaltrace}
''&gt;'' &gt; ''&lt;'' &lt; ''^'' ^ ''V'' V '')'' ) ''('' ( ''&nbsp;''&nbsp; ''v'' v
\strut
'']'' ] ''!'' !
\end{evaltrace}">|; 

$key = q/{evaltrace}"T"T"t"t"I"I{evaltrace};LFS=12;AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="" SRC="|."$dir".q|img11.png"
 ALT="\begin{evaltrace}
''T'' T ''t'' t ''I'' I
\end{evaltrace}">|; 

$key = q/{evaltrace}"q"q"w"w"a"a"s"s"Q"Q"W"W"A"A"S"Sstrut"e"e"r"r"d"d"f"f"E"E"R"R"D"D"F"F{evaltrace};LFS=12;AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="" SRC="|."$dir".q|img10.png"
 ALT="\begin{evaltrace}
''q'' q ''w'' w ''a'' a ''s'' s ''Q'' Q ''W'' W ''A'' A ''S'' ...
...
''e'' e ''r'' r ''d'' d ''f'' f ''E'' E ''R'' R ''D'' D ''F'' F
\end{evaltrace}">|; 

$key = q/{evaltrace}"slash"slash"?"?"'"'{evaltrace};LFS=12;AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="" SRC="|."$dir".q|img9.png"
 ALT="\begin{evaltrace}
''/'' / ''?'' ? ''''' '
\end{evaltrace}">|; 

$key = q/{evaltrace}"|"|"*"*"<comment_mark>5{evaltrace};LFS=12;AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="" SRC="|."$dir".q|img5.png"
 ALT="\begin{evaltrace}
''\vert'' \vert ''*'' * ''%'' % '':'' :
\end{evaltrace}">|; 

$key = q/{evaltrace}+-->;(++23)|+_->;5{evaltrace};LFS=12;AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="" SRC="|."$dir".q|img4.png"
 ALT="\begin{evaltrace}
+&ndash;&gt; ;(++ 2 3)
\vert
+_-&gt; ;5
\end{evaltrace}">|; 

$key = q/{evaltrace}q->{{tt{(*23)}|a->{{tt{6}{evaltrace};LFS=12;AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="" SRC="|."$dir".q|img3.png"
 ALT="\begin{evaltrace}
q-&gt; {\tt (* 2 3)}
\vert
a-&gt; {\tt 6}
\end{evaltrace}">|; 

1;

